21![Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom](https://www.pdfsearch.io/img/cd648b27e5cfa292a6e13449c8855272.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2017-06-28 16:10:52
|
---|
22![Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom](https://www.pdfsearch.io/img/7820132b9465d2b07685d19d24704697.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 09:30:36
|
---|
23![On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud](https://www.pdfsearch.io/img/9920ceecd4e4d59d316d0c0022ed05cc.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2015-10-18 19:42:36
|
---|
24![Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK. Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.](https://www.pdfsearch.io/img/2e0a7eb305b96884c9bcf77835476d34.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-04-15 06:20:35
|
---|
25![Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK](https://www.pdfsearch.io/img/3c964b828a923a72677c2faab5b5fed8.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-10-06 19:34:00
|
---|
26![On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud](https://www.pdfsearch.io/img/7e5be51973e289726ff2cf6c42a95e14.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-06-19 11:02:11
|
---|
27![On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK](https://www.pdfsearch.io/img/847cfb8ae02de0068cb2fa5a7d523e48.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2015-10-01 09:36:06
|
---|
28![Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous](https://www.pdfsearch.io/img/fb52c2f9585858da2f848a08821ee8c4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2017-04-04 10:42:31
|
---|
29![Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs](https://www.pdfsearch.io/img/b41c7395c0777afa2933b9801f3c60c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-02-26 06:04:38
|
---|
30![Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/c20b1f636c1de8d110df7fc41180b57a.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-06-03 18:23:17
|
---|